quenching pool - German English Dictionary